#include<stdio.h>
int main(){
	char a;
	int b;
	double c;
	scanf("%c%d%lf",&a,&b,&c);
	printf("%c %d %.1lf\n",a-32,-b,c);



	return 0;
}
